Nuprl Definition : find
11,40
postcript
pdf
first
x
as
s.t.
P
(
x
) else
d
== rec-case(filter(
x
.
P
(
x
);
as
)) of [] =>
d
|
a
::
b
=>
.
a
latex
Definitions
rec-case(
a
) of [] =>
s
|
x
::
y
=>
z
.
t
(
x
;
y
;
z
)
,
filter(
P
;
l
)
,
x
.
A
(
x
)
FDL editor aliases
find
origin
as s.t. P(x) else d == rec-case(filter(
x.P(x);as)) of [] => d | a::b => .a as s.t. P(x) else d == rec-case(filter(x.P(x);as)) of [] => d | a::b => .a x.A(x)